数式処理（その１） アルゴリズムの進展